Digging a hole with a shovel